Hardware description languages - PDFSEARCH.IO - Document Search Engine

Hardware description languages
Results: 365

#	Item
141	A Guide to PERL ILOG Eli Billauer [removed] November 11, 2003 Add to Reading List Source URL: www.billauer.co.il Language: English - Date: 2003-11-11 14:22:48 Perl Hardware description languages Object-oriented programming Hardware verification languages Verilog Constructor Class E Software engineering Computing Computer programming
142	[removed]David Jeffrey Ljung Madison - Resume David Jeffrey Ljung Madison Programming, Algorithm Design/Development, VLSI / CPU Verification Add to Reading List Source URL: davesource.com Language: English - Date: 2014-10-17 23:07:38 Hardware description languages Hardware verification languages Formal methods Logic in computer science Verilog Application-specific integrated circuit Post-silicon validation Formal verification Random test generator Electronic engineering Electronic design automation Digital electronics
143	Division of Engineering and Applied Sciences • Harvard University • CS101 • Fall[removed]CS101: From Nand to Tetris Prof. Shimon Schocken “Nothing is more important than seeing the sources of invention which are, i Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-08-15 13:22:51 Programming language implementation Cross-platform software Procedural programming languages Hardware description language Logic design Technical communication Virtual machine Compiler VM Computing Software System software
144	COLA – The Component Language Stefan Kugele, Michael Tautschnig, Andreas Bauer, Christian Schallhart, Stefano Merenda, Wolfgang Haberl, Christian K¨ uhnel, Florian M¨ uller, Zhonglei Wang, Doris Wild, Sabine Rittmann Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-10-29 20:08:38 Computing Electronic engineering Formal methods Software engineering Cybernetics SIGNAL Finite-state machine Lustre Dataflow Hardware description languages Synchronous programming languages Models of computation
145	Appears in the Proceedings of the 47th Int’l Symp. on Microarchitecture (MICRO-47), December[removed]PyMTL: A Unified Framework for Vertically Integrated Computer Architecture Research Derek Lockhart, Gary Zibrat, and Ch Add to Reading List Source URL: csl.cornell.edu Language: English - Date: 2015-03-29 23:28:17 Hardware description languages Hardware verification languages Logic design Technical communication Verilator Verilog High-level synthesis VHDL Logic simulation Electronic engineering Digital electronics Electronic design automation
146	crc MegaCore Function Parameterized CRC Generator/Checker ® Add to Reading List Source URL: web.archive.org Language: English Hardware description languages Error detection and correction CRC VHDL Mathematics Electronic engineering Computing Finite fields Binary arithmetic Cyclic redundancy check
147	AMS/RF Working Group Meeting May 21, 2012 Agenda  Add to Reading List Source URL: www.gsaglobal.org Language: English - Date: 2014-02-04 09:47:22 Intersil Palm Bay Florida Hardware description languages
148	Datasheet Synplify Pro Fast, High-Performance FPGA Synthesis Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-17 18:15:23 Electronic design Field-programmable gate array Logic synthesis Synopsys High-level synthesis VHDL SystemVerilog Verilog Aldec Electronic engineering Hardware description languages Electronic design automation
149	AMS Working Group February 13, 2013 Agenda Time Add to Reading List Source URL: www.gsaglobal.org Language: English - Date: 2014-01-22 10:42:57 Synopsys Hardware description languages Interoperable PDK Libraries Mentor Graphics
150	Formal Verification of SystemC Designs Using a Petri-Net Based Representation Daniel Karlsson, Petru Eles, Zebo Peng Department of Computer and Information Science, Linköpings universitet, Sweden {danka, petel, zebpe}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-03-23 11:50:34 SystemC Models of computation Transaction-level modeling E Thread Petri net Electronic engineering Hardware verification languages Hardware description languages

UPDATE